home *** CD-ROM | disk | FTP | other *** search
/ Whiteline: delta / whiteline CD Series - delta.iso / tex / style / misc / elm.tex / images.pl (.txt) < prev    next >
LaTeX Document  |  1995-11-25  |  47KB  |  1,470 lines
  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate images original text with physical files.
  3. $key = q//;
  4. $cached_env_img{$key} = q|<IMG
  5.   STYLE="" SRC="|."$dir".q|img7.png"
  6.  ALT="\begin{eg}\begin{egbox}{\normalsize
  7. \( x = 2\pi \Rightarrow x \simeq 6.28 \)\\\\
  8. ...x = {\bf2}\pi \Rightarrow x \simeq{\bf6.28}\)}\end{verbatim}
  9. \end{egbox}\end{eg}">|; 
  10. $key = q/Arrowvert;MSF=1.6;AAT/;
  11. $cached_env_img{$key} = q|<IMG
  12.  STYLE="" SRC="|."$dir".q|img141.png"
  13.  ALT="$\Arrowvert$">|; 
  14. $key = q/Bbb;MSF=1.6;AAT/;
  15. $cached_env_img{$key} = q|<IMG
  16.  STYLE="" SRC="|."$dir".q|img362.png"
  17.  ALT="$\Bbb$">|; 
  18. $key = q/Box;MSF=1.6;AAT/;
  19. $cached_env_img{$key} = q|<IMG
  20.  STYLE="" SRC="|."$dir".q|img83.png"
  21.  ALT="$\Box$">|; 
  22. $key = q/Bumpeq;MSF=1.6;AAT/;
  23. $cached_env_img{$key} = q|<IMG
  24.  STYLE="" SRC="|."$dir".q|img260.png"
  25.  ALT="$\Bumpeq$">|; 
  26. $key = q/Cap;MSF=1.6;AAT/;
  27. $cached_env_img{$key} = q|<IMG
  28.  STYLE="" SRC="|."$dir".q|img252.png"
  29.  ALT="$\Cap$">|; 
  30. $key = q/Cup;MSF=1.6;AAT/;
  31. $cached_env_img{$key} = q|<IMG
  32.  STYLE="" SRC="|."$dir".q|img251.png"
  33.  ALT="$\Cup$">|; 
  34. $key = q/Diamond;MSF=1.6;AAT/;
  35. $cached_env_img{$key} = q|<IMG
  36.  STYLE="" SRC="|."$dir".q|img84.png"
  37.  ALT="$\Diamond$">|; 
  38. $key = q/Join;MSF=1.6;AAT/;
  39. $cached_env_img{$key} = q|<IMG
  40.  STYLE="" SRC="|."$dir".q|img49.png"
  41.  ALT="$\Join$">|; 
  42. $key = q/Longleftarrow;MSF=1.6;AAT/;
  43. $cached_env_img{$key} = q|<IMG
  44.  STYLE="" SRC="|."$dir".q|img61.png"
  45.  ALT="$\Longleftarrow$">|; 
  46. $key = q/Longleftrightarrow;MSF=1.6;AAT/;
  47. $cached_env_img{$key} = q|<IMG
  48.  STYLE="" SRC="|."$dir".q|img65.png"
  49.  ALT="$\Longleftrightarrow$">|; 
  50. $key = q/Longrightarrow;MSF=1.6;AAT/;
  51. $cached_env_img{$key} = q|<IMG
  52.  STYLE="" SRC="|."$dir".q|img62.png"
  53.  ALT="$\Longrightarrow$">|; 
  54. $key = q/Lsh;MSF=1.6;AAT/;
  55. $cached_env_img{$key} = q|<IMG
  56.  STYLE="" SRC="|."$dir".q|img192.png"
  57.  ALT="$\Lsh$">|; 
  58. $key = q/Rsh;MSF=1.6;AAT/;
  59. $cached_env_img{$key} = q|<IMG
  60.  STYLE="" SRC="|."$dir".q|img193.png"
  61.  ALT="$\Rsh$">|; 
  62. $key = q/Subset;MSF=1.6;AAT/;
  63. $cached_env_img{$key} = q|<IMG
  64.  STYLE="" SRC="|."$dir".q|img249.png"
  65.  ALT="$\Subset$">|; 
  66. $key = q/Supset;MSF=1.6;AAT/;
  67. $cached_env_img{$key} = q|<IMG
  68.  STYLE="" SRC="|."$dir".q|img250.png"
  69.  ALT="$\Supset$">|; 
  70. $key = q/Updownarrow;MSF=1.6;AAT/;
  71. $cached_env_img{$key} = q|<IMG
  72.  STYLE="" SRC="|."$dir".q|img66.png"
  73.  ALT="$\Updownarrow$">|; 
  74. $key = q/Vdash;MSF=1.6;AAT/;
  75. $cached_env_img{$key} = q|<IMG
  76.  STYLE="" SRC="|."$dir".q|img175.png"
  77.  ALT="$\Vdash$">|; 
  78. $key = q/Vvdash;MSF=1.6;AAT/;
  79. $cached_env_img{$key} = q|<IMG
  80.  STYLE="" SRC="|."$dir".q|img176.png"
  81.  ALT="$\Vvdash$">|; 
  82. $key = q/acute{{a}};MSF=1.6;AAT/;
  83. $cached_env_img{$key} = q|<IMG
  84.  STYLE="" SRC="|."$dir".q|img144.png"
  85.  ALT="$\acute{{a}}$">|; 
  86. $key = q/aleph;MSF=1.6;AAT/;
  87. $cached_env_img{$key} = q|<IMG
  88.  STYLE="" SRC="|."$dir".q|img81.png"
  89.  ALT="$\aleph$">|; 
  90. $key = q/amalg;MSF=1.6;AAT/;
  91. $cached_env_img{$key} = q|<IMG
  92.  STYLE="" SRC="|."$dir".q|img38.png"
  93.  ALT="$\amalg$">|; 
  94. $key = q/approx;MSF=1.6;AAT/;
  95. $cached_env_img{$key} = q|<IMG
  96.  STYLE="" SRC="|."$dir".q|img47.png"
  97.  ALT="$\approx$">|; 
  98. $key = q/approxeq;MSF=1.6;AAT/;
  99. $cached_env_img{$key} = q|<IMG
  100.  STYLE="" SRC="|."$dir".q|img353.png"
  101.  ALT="$\approxeq$">|; 
  102. $key = q/arrowvert;MSF=1.6;AAT/;
  103. $cached_env_img{$key} = q|<IMG
  104.  STYLE="" SRC="|."$dir".q|img140.png"
  105.  ALT="$\arrowvert$">|; 
  106. $key = q/backepsilon;MSF=1.6;AAT/;
  107. $cached_env_img{$key} = q|<IMG
  108.  STYLE="" SRC="|."$dir".q|img361.png"
  109.  ALT="$\backepsilon$">|; 
  110. $key = q/backprime;MSF=1.6;AAT/;
  111. $cached_env_img{$key} = q|<IMG
  112.  STYLE="" SRC="|."$dir".q|img217.png"
  113.  ALT="$\backprime$">|; 
  114. $key = q/backsim;MSF=1.6;AAT/;
  115. $cached_env_img{$key} = q|<IMG
  116.  STYLE="" SRC="|."$dir".q|img266.png"
  117.  ALT="$\backsim$">|; 
  118. $key = q/backsimeq;MSF=1.6;AAT/;
  119. $cached_env_img{$key} = q|<IMG
  120.  STYLE="" SRC="|."$dir".q|img267.png"
  121.  ALT="$\backsimeq$">|; 
  122. $key = q/barwedge;MSF=1.6;AAT/;
  123. $cached_env_img{$key} = q|<IMG
  124.  STYLE="" SRC="|."$dir".q|img242.png"
  125.  ALT="$\barwedge$">|; 
  126. $key = q/bar{{a}};MSF=1.6;AAT/;
  127. $cached_env_img{$key} = q|<IMG
  128.  STYLE="" SRC="|."$dir".q|img145.png"
  129.  ALT="$\bar{{a}}$">|; 
  130. $key = q/because;MSF=1.6;AAT/;
  131. $cached_env_img{$key} = q|<IMG
  132.  STYLE="" SRC="|."$dir".q|img203.png"
  133.  ALT="$\because$">|; 
  134. $key = q/beth;MSF=1.6;AAT/;
  135. $cached_env_img{$key} = q|<IMG
  136.  STYLE="" SRC="|."$dir".q|img342.png"
  137.  ALT="$\beth$">|; 
  138. $key = q/between;MSF=1.6;AAT/;
  139. $cached_env_img{$key} = q|<IMG
  140.  STYLE="" SRC="|."$dir".q|img229.png"
  141.  ALT="$\between$">|; 
  142. $key = q/bigcirc;MSF=1.6;AAT/;
  143. $cached_env_img{$key} = q|<IMG
  144.  STYLE="" SRC="|."$dir".q|img32.png"
  145.  ALT="$\bigcirc$">|; 
  146. $key = q/bigotimes;MSF=1.6;AAT/;
  147. $cached_env_img{$key} = q|<IMG
  148.  STYLE="" SRC="|."$dir".q|img5.png"
  149.  ALT="$\bigotimes$">|; 
  150. $key = q/bigstar;MSF=1.6;AAT/;
  151. $cached_env_img{$key} = q|<IMG
  152.  STYLE="" SRC="|."$dir".q|img228.png"
  153.  ALT="$\bigstar$">|; 
  154. $key = q/bigtriangledown;MSF=1.6;AAT/;
  155. $cached_env_img{$key} = q|<IMG
  156.  STYLE="" SRC="|."$dir".q|img24.png"
  157.  ALT="$\bigtriangledown$">|; 
  158. $key = q/bigtriangleup;MSF=1.6;AAT/;
  159. $cached_env_img{$key} = q|<IMG
  160.  STYLE="" SRC="|."$dir".q|img21.png"
  161.  ALT="$\bigtriangleup$">|; 
  162. $key = q/blacklozenge;MSF=1.6;AAT/;
  163. $cached_env_img{$key} = q|<IMG
  164.  STYLE="" SRC="|."$dir".q|img169.png"
  165.  ALT="$\blacklozenge$">|; 
  166. $key = q/blacksquare;MSF=1.6;AAT/;
  167. $cached_env_img{$key} = q|<IMG
  168.  STYLE="" SRC="|."$dir".q|img168.png"
  169.  ALT="$\blacksquare$">|; 
  170. $key = q/blacktriangle;MSF=1.6;AAT/;
  171. $cached_env_img{$key} = q|<IMG
  172.  STYLE="" SRC="|."$dir".q|img234.png"
  173.  ALT="$\blacktriangle$">|; 
  174. $key = q/blacktriangledown;MSF=1.6;AAT/;
  175. $cached_env_img{$key} = q|<IMG
  176.  STYLE="" SRC="|."$dir".q|img230.png"
  177.  ALT="$\blacktriangledown$">|; 
  178. $key = q/blacktriangleleft;MSF=1.6;AAT/;
  179. $cached_env_img{$key} = q|<IMG
  180.  STYLE="" SRC="|."$dir".q|img232.png"
  181.  ALT="$\blacktriangleleft$">|; 
  182. $key = q/blacktriangleright;MSF=1.6;AAT/;
  183. $cached_env_img{$key} = q|<IMG
  184.  STYLE="" SRC="|."$dir".q|img231.png"
  185.  ALT="$\blacktriangleright$">|; 
  186. $key = q/bot;MSF=1.6;AAT/;
  187. $cached_env_img{$key} = q|<IMG
  188.  STYLE="" SRC="|."$dir".q|img91.png"
  189.  ALT="$\bot$">|; 
  190. $key = q/bowtie;MSF=1.6;AAT/;
  191. $cached_env_img{$key} = q|<IMG
  192.  STYLE="" SRC="|."$dir".q|img48.png"
  193.  ALT="$\bowtie$">|; 
  194. $key = q/boxdot;MSF=1.6;AAT/;
  195. $cached_env_img{$key} = q|<IMG
  196.  STYLE="" SRC="|."$dir".q|img164.png"
  197.  ALT="$\boxdot$">|; 
  198. $key = q/boxminus;MSF=1.6;AAT/;
  199. $cached_env_img{$key} = q|<IMG
  200.  STYLE="" SRC="|."$dir".q|img174.png"
  201.  ALT="$\boxminus$">|; 
  202. $key = q/boxplus;MSF=1.6;AAT/;
  203. $cached_env_img{$key} = q|<IMG
  204.  STYLE="" SRC="|."$dir".q|img165.png"
  205.  ALT="$\boxplus$">|; 
  206. $key = q/boxtimes;MSF=1.6;AAT/;
  207. $cached_env_img{$key} = q|<IMG
  208.  STYLE="" SRC="|."$dir".q|img166.png"
  209.  ALT="$\boxtimes$">|; 
  210. $key = q/bracevert;MSF=1.6;AAT/;
  211. $cached_env_img{$key} = q|<IMG
  212.  STYLE="" SRC="|."$dir".q|img142.png"
  213.  ALT="$\bracevert$">|; 
  214. $key = q/breve{{a}};MSF=1.6;AAT/;
  215. $cached_env_img{$key} = q|<IMG
  216.  STYLE="" SRC="|."$dir".q|img147.png"
  217.  ALT="$\breve{{a}}$">|; 
  218. $key = q/bumpeq;MSF=1.6;AAT/;
  219. $cached_env_img{$key} = q|<IMG
  220.  STYLE="" SRC="|."$dir".q|img259.png"
  221.  ALT="$\bumpeq$">|; 
  222. $key = q/cal{A};MSF=1.6;AAT/;
  223. $cached_env_img{$key} = q|<IMG
  224.  STYLE="" SRC="|."$dir".q|img10.png"
  225.  ALT="$\cal {A}$">|; 
  226. $key = q/cal{M};MSF=1.6;AAT/;
  227. $cached_env_img{$key} = q|<IMG
  228.  STYLE="" SRC="|."$dir".q|img11.png"
  229.  ALT="$\cal {M}$">|; 
  230. $key = q/cal{S};MSF=1.6;AAT/;
  231. $cached_env_img{$key} = q|<IMG
  232.  STYLE="" SRC="|."$dir".q|img12.png"
  233.  ALT="$\cal {S}$">|; 
  234. $key = q/cdotp;MSF=1.6;AAT/;
  235. $cached_env_img{$key} = q|<IMG
  236.  STYLE="" SRC="|."$dir".q|img60.png"
  237.  ALT="$\cdotp$">|; 
  238. $key = q/checkmark;MSF=1.6;AAT/;
  239. $cached_env_img{$key} = q|<IMG
  240.  STYLE="" SRC="|."$dir".q|img276.png"
  241.  ALT="$\checkmark$">|; 
  242. $key = q/check{{a}};MSF=1.6;AAT/;
  243. $cached_env_img{$key} = q|<IMG
  244.  STYLE="" SRC="|."$dir".q|img148.png"
  245.  ALT="$\check{{a}}$">|; 
  246. $key = q/circeq;MSF=1.6;AAT/;
  247. $cached_env_img{$key} = q|<IMG
  248.  STYLE="" SRC="|."$dir".q|img198.png"
  249.  ALT="$\circeq$">|; 
  250. $key = q/circlearrowleft;MSF=1.6;AAT/;
  251. $cached_env_img{$key} = q|<IMG
  252.  STYLE="" SRC="|."$dir".q|img171.png"
  253.  ALT="$\circlearrowleft$">|; 
  254. $key = q/circlearrowright;MSF=1.6;AAT/;
  255. $cached_env_img{$key} = q|<IMG
  256.  STYLE="" SRC="|."$dir".q|img170.png"
  257.  ALT="$\circlearrowright$">|; 
  258. $key = q/circledS;MSF=1.6;AAT/;
  259. $cached_env_img{$key} = q|<IMG
  260.  STYLE="" SRC="|."$dir".q|img263.png"
  261.  ALT="$\circledS$">|; 
  262. $key = q/circledast;MSF=1.6;AAT/;
  263. $cached_env_img{$key} = q|<IMG
  264.  STYLE="" SRC="|."$dir".q|img270.png"
  265.  ALT="$\circledast$">|; 
  266. $key = q/circleddash;MSF=1.6;AAT/;
  267. $cached_env_img{$key} = q|<IMG
  268.  STYLE="" SRC="|."$dir".q|img271.png"
  269.  ALT="$\circleddash$">|; 
  270. $key = q/complement;MSF=1.6;AAT/;
  271. $cached_env_img{$key} = q|<IMG
  272.  STYLE="" SRC="|."$dir".q|img268.png"
  273.  ALT="$\complement$">|; 
  274. $key = q/curlyeqprec;MSF=1.6;AAT/;
  275. $cached_env_img{$key} = q|<IMG
  276.  STYLE="" SRC="|."$dir".q|img211.png"
  277.  ALT="$\curlyeqprec$">|; 
  278. $key = q/curlyeqsucc;MSF=1.6;AAT/;
  279. $cached_env_img{$key} = q|<IMG
  280.  STYLE="" SRC="|."$dir".q|img212.png"
  281.  ALT="$\curlyeqsucc$">|; 
  282. $key = q/curlyvee;MSF=1.6;AAT/;
  283. $cached_env_img{$key} = q|<IMG
  284.  STYLE="" SRC="|."$dir".q|img254.png"
  285.  ALT="$\curlyvee$">|; 
  286. $key = q/curlywedge;MSF=1.6;AAT/;
  287. $cached_env_img{$key} = q|<IMG
  288.  STYLE="" SRC="|."$dir".q|img253.png"
  289.  ALT="$\curlywedge$">|; 
  290. $key = q/curvearrowleft;MSF=1.6;AAT/;
  291. $cached_env_img{$key} = q|<IMG
  292.  STYLE="" SRC="|."$dir".q|img356.png"
  293.  ALT="$\curvearrowleft$">|; 
  294. $key = q/curvearrowright;MSF=1.6;AAT/;
  295. $cached_env_img{$key} = q|<IMG
  296.  STYLE="" SRC="|."$dir".q|img357.png"
  297.  ALT="$\curvearrowright$">|; 
  298. $key = q/daleth;MSF=1.6;AAT/;
  299. $cached_env_img{$key} = q|<IMG
  300.  STYLE="" SRC="|."$dir".q|img343.png"
  301.  ALT="$\daleth$">|; 
  302. $key = q/dashv;MSF=1.6;AAT/;
  303. $cached_env_img{$key} = q|<IMG
  304.  STYLE="" SRC="|."$dir".q|img58.png"
  305.  ALT="$\dashv$">|; 
  306. $key = q/ddots;MSF=1.6;AAT/;
  307. $cached_env_img{$key} = q|<IMG
  308.  STYLE="" SRC="|."$dir".q|img80.png"
  309.  ALT="$\ddots$">|; 
  310. $key = q/ddot{{a}};MSF=1.6;AAT/;
  311. $cached_env_img{$key} = q|<IMG
  312.  STYLE="" SRC="|."$dir".q|img151.png"
  313.  ALT="$\ddot{{a}}$">|; 
  314. $key = q/diamond;MSF=1.6;AAT/;
  315. $cached_env_img{$key} = q|<IMG
  316.  STYLE="" SRC="|."$dir".q|img19.png"
  317.  ALT="$\diamond$">|; 
  318. $key = q/digamma;MSF=1.6;AAT/;
  319. $cached_env_img{$key} = q|<IMG
  320.  STYLE="" SRC="|."$dir".q|img358.png"
  321.  ALT="$\digamma$">|; 
  322. $key = q/divideontimes;MSF=1.6;AAT/;
  323. $cached_env_img{$key} = q|<IMG
  324.  STYLE="" SRC="|."$dir".q|img338.png"
  325.  ALT="$\divideontimes$">|; 
  326. $key = q/doteq;MSF=1.6;AAT/;
  327. $cached_env_img{$key} = q|<IMG
  328.  STYLE="" SRC="|."$dir".q|img55.png"
  329.  ALT="$\doteq$">|; 
  330. $key = q/doteqdot;MSF=1.6;AAT/;
  331. $cached_env_img{$key} = q|<IMG
  332.  STYLE="" SRC="|."$dir".q|img204.png"
  333.  ALT="$\doteqdot$">|; 
  334. $key = q/dotplus;MSF=1.6;AAT/;
  335. $cached_env_img{$key} = q|<IMG
  336.  STYLE="" SRC="|."$dir".q|img265.png"
  337.  ALT="$\dotplus$">|; 
  338. $key = q/dot{{a}};MSF=1.6;AAT/;
  339. $cached_env_img{$key} = q|<IMG
  340.  STYLE="" SRC="|."$dir".q|img146.png"
  341.  ALT="$\dot{{a}}$">|; 
  342. $key = q/doublebarwedge;MSF=1.6;AAT/;
  343. $cached_env_img{$key} = q|<IMG
  344.  STYLE="" SRC="|."$dir".q|img243.png"
  345.  ALT="$\doublebarwedge$">|; 
  346. $key = q/downdownarrows;MSF=1.6;AAT/;
  347. $cached_env_img{$key} = q|<IMG
  348.  STYLE="" SRC="|."$dir".q|img183.png"
  349.  ALT="$\downdownarrows$">|; 
  350. $key = q/downharpoonleft;MSF=1.6;AAT/;
  351. $cached_env_img{$key} = q|<IMG
  352.  STYLE="" SRC="|."$dir".q|img187.png"
  353.  ALT="$\downharpoonleft$">|; 
  354. $key = q/downharpoonright;MSF=1.6;AAT/;
  355. $cached_env_img{$key} = q|<IMG
  356.  STYLE="" SRC="|."$dir".q|img185.png"
  357.  ALT="$\downharpoonright$">|; 
  358. $key = q/ell;MSF=1.6;AAT/;
  359. $cached_env_img{$key} = q|<IMG
  360.  STYLE="" SRC="|."$dir".q|img88.png"
  361.  ALT="$\ell$">|; 
  362. $key = q/eqcirc;MSF=1.6;AAT/;
  363. $cached_env_img{$key} = q|<IMG
  364.  STYLE="" SRC="|."$dir".q|img236.png"
  365.  ALT="$\eqcirc$">|; 
  366. $key = q/eqslantgtr;MSF=1.6;AAT/;
  367. $cached_env_img{$key} = q|<IMG
  368.  STYLE="" SRC="|."$dir".q|img210.png"
  369.  ALT="$\eqslantgtr$">|; 
  370. $key = q/eqslantless;MSF=1.6;AAT/;
  371. $cached_env_img{$key} = q|<IMG
  372.  STYLE="" SRC="|."$dir".q|img209.png"
  373.  ALT="$\eqslantless$">|; 
  374. $key = q/fallingdotseq;MSF=1.6;AAT/;
  375. $cached_env_img{$key} = q|<IMG
  376.  STYLE="" SRC="|."$dir".q|img219.png"
  377.  ALT="$\fallingdotseq$">|; 
  378. $key = q/flat;MSF=1.6;AAT/;
  379. $cached_env_img{$key} = q|<IMG
  380.  STYLE="" SRC="|."$dir".q|img86.png"
  381.  ALT="$\flat$">|; 
  382. $key = q/frown;MSF=1.6;AAT/;
  383. $cached_env_img{$key} = q|<IMG
  384.  STYLE="" SRC="|."$dir".q|img56.png"
  385.  ALT="$\frown$">|; 
  386. $key = q/geqq;MSF=1.6;AAT/;
  387. $cached_env_img{$key} = q|<IMG
  388.  STYLE="" SRC="|."$dir".q|img221.png"
  389.  ALT="$\geqq$">|; 
  390. $key = q/geqslant;MSF=1.6;AAT/;
  391. $cached_env_img{$key} = q|<IMG
  392.  STYLE="" SRC="|."$dir".q|img222.png"
  393.  ALT="$\geqslant$">|; 
  394. $key = q/gg;MSF=1.6;AAT/;
  395. $cached_env_img{$key} = q|<IMG
  396.  STYLE="" SRC="|."$dir".q|img46.png"
  397.  ALT="$\gg$">|; 
  398. $key = q/ggg;MSF=1.6;AAT/;
  399. $cached_env_img{$key} = q|<IMG
  400.  STYLE="" SRC="|."$dir".q|img262.png"
  401.  ALT="$\ggg$">|; 
  402. $key = q/gnapprox;MSF=1.6;AAT/;
  403. $cached_env_img{$key} = q|<IMG
  404.  STYLE="" SRC="|."$dir".q|img305.png"
  405.  ALT="$\gnapprox$">|; 
  406. $key = q/gneq;MSF=1.6;AAT/;
  407. $cached_env_img{$key} = q|<IMG
  408.  STYLE="" SRC="|."$dir".q|img291.png"
  409.  ALT="$\gneq$">|; 
  410. $key = q/gneqq;MSF=1.6;AAT/;
  411. $cached_env_img{$key} = q|<IMG
  412.  STYLE="" SRC="|."$dir".q|img287.png"
  413.  ALT="$\gneqq$">|; 
  414. $key = q/gnsim;MSF=1.6;AAT/;
  415. $cached_env_img{$key} = q|<IMG
  416.  STYLE="" SRC="|."$dir".q|img297.png"
  417.  ALT="$\gnsim$">|; 
  418. $key = q/grave{{a}};MSF=1.6;AAT/;
  419. $cached_env_img{$key} = q|<IMG
  420.  STYLE="" SRC="|."$dir".q|img149.png"
  421.  ALT="$\grave{{a}}$">|; 
  422. $key = q/gtrapprox;MSF=1.6;AAT/;
  423. $cached_env_img{$key} = q|<IMG
  424.  STYLE="" SRC="|."$dir".q|img201.png"
  425.  ALT="$\gtrapprox$">|; 
  426. $key = q/gtrdot;MSF=1.6;AAT/;
  427. $cached_env_img{$key} = q|<IMG
  428.  STYLE="" SRC="|."$dir".q|img345.png"
  429.  ALT="$\gtrdot$">|; 
  430. $key = q/gtreqless;MSF=1.6;AAT/;
  431. $cached_env_img{$key} = q|<IMG
  432.  STYLE="" SRC="|."$dir".q|img238.png"
  433.  ALT="$\gtreqless$">|; 
  434. $key = q/gtreqqless;MSF=1.6;AAT/;
  435. $cached_env_img{$key} = q|<IMG
  436.  STYLE="" SRC="|."$dir".q|img240.png"
  437.  ALT="$\gtreqqless$">|; 
  438. $key = q/gtrless;MSF=1.6;AAT/;
  439. $cached_env_img{$key} = q|<IMG
  440.  STYLE="" SRC="|."$dir".q|img223.png"
  441.  ALT="$\gtrless$">|; 
  442. $key = q/gtrsim;MSF=1.6;AAT/;
  443. $cached_env_img{$key} = q|<IMG
  444.  STYLE="" SRC="|."$dir".q|img200.png"
  445.  ALT="$\gtrsim$">|; 
  446. $key = q/gvertneqq;MSF=1.6;AAT/;
  447. $cached_env_img{$key} = q|<IMG
  448.  STYLE="" SRC="|."$dir".q|img279.png"
  449.  ALT="$\gvertneqq$">|; 
  450. $key = q/hat{{a}};MSF=1.6;AAT/;
  451. $cached_env_img{$key} = q|<IMG
  452.  STYLE="" SRC="|."$dir".q|img143.png"
  453.  ALT="$\hat{{a}}$">|; 
  454. $key = q/hbar;MSF=1.6;AAT/;
  455. $cached_env_img{$key} = q|<IMG
  456.  STYLE="" SRC="|."$dir".q|img82.png"
  457.  ALT="$\hbar$">|; 
  458. $key = q/hookleftarrow;MSF=1.6;AAT/;
  459. $cached_env_img{$key} = q|<IMG
  460.  STYLE="" SRC="|."$dir".q|img70.png"
  461.  ALT="$\hookleftarrow$">|; 
  462. $key = q/hookrightarrow;MSF=1.6;AAT/;
  463. $cached_env_img{$key} = q|<IMG
  464.  STYLE="" SRC="|."$dir".q|img71.png"
  465.  ALT="$\hookrightarrow$">|; 
  466. $key = q/hslash;MSF=1.6;AAT/;
  467. $cached_env_img{$key} = q|<IMG
  468.  STYLE="" SRC="|."$dir".q|img360.png"
  469.  ALT="$\hslash$">|; 
  470. $key = q/intercal;MSF=1.6;AAT/;
  471. $cached_env_img{$key} = q|<IMG
  472.  STYLE="" SRC="|."$dir".q|img269.png"
  473.  ALT="$\intercal$">|; 
  474. $key = q/jmath;MSF=1.6;AAT/;
  475. $cached_env_img{$key} = q|<IMG
  476.  STYLE="" SRC="|."$dir".q|img85.png"
  477.  ALT="$\jmath$">|; 
  478. $key = q/ldotp;MSF=1.6;AAT/;
  479. $cached_env_img{$key} = q|<IMG
  480.  STYLE="" SRC="|."$dir".q|img59.png"
  481.  ALT="$\ldotp$">|; 
  482. $key = q/leftarrowtail;MSF=1.6;AAT/;
  483. $cached_env_img{$key} = q|<IMG
  484.  STYLE="" SRC="|."$dir".q|img189.png"
  485.  ALT="$\leftarrowtail$">|; 
  486. $key = q/leftharpoondown;MSF=1.6;AAT/;
  487. $cached_env_img{$key} = q|<IMG
  488.  STYLE="" SRC="|."$dir".q|img76.png"
  489.  ALT="$\leftharpoondown$">|; 
  490. $key = q/leftharpoonup;MSF=1.6;AAT/;
  491. $cached_env_img{$key} = q|<IMG
  492.  STYLE="" SRC="|."$dir".q|img73.png"
  493.  ALT="$\leftharpoonup$">|; 
  494. $key = q/leftleftarrows;MSF=1.6;AAT/;
  495. $cached_env_img{$key} = q|<IMG
  496.  STYLE="" SRC="|."$dir".q|img180.png"
  497.  ALT="$\leftleftarrows$">|; 
  498. $key = q/leftrightarrows;MSF=1.6;AAT/;
  499. $cached_env_img{$key} = q|<IMG
  500.  STYLE="" SRC="|."$dir".q|img190.png"
  501.  ALT="$\leftrightarrows$">|; 
  502. $key = q/leftrightharpoons;MSF=1.6;AAT/;
  503. $cached_env_img{$key} = q|<IMG
  504.  STYLE="" SRC="|."$dir".q|img173.png"
  505.  ALT="$\leftrightharpoons$">|; 
  506. $key = q/leftrightsquigarrow;MSF=1.6;AAT/;
  507. $cached_env_img{$key} = q|<IMG
  508.  STYLE="" SRC="|."$dir".q|img195.png"
  509.  ALT="$\leftrightsquigarrow$">|; 
  510. $key = q/leftthreetimes;MSF=1.6;AAT/;
  511. $cached_env_img{$key} = q|<IMG
  512.  STYLE="" SRC="|."$dir".q|img255.png"
  513.  ALT="$\leftthreetimes$">|; 
  514. $key = q/leqq;MSF=1.6;AAT/;
  515. $cached_env_img{$key} = q|<IMG
  516.  STYLE="" SRC="|."$dir".q|img214.png"
  517.  ALT="$\leqq$">|; 
  518. $key = q/leqslant;MSF=1.6;AAT/;
  519. $cached_env_img{$key} = q|<IMG
  520.  STYLE="" SRC="|."$dir".q|img215.png"
  521.  ALT="$\leqslant$">|; 
  522. $key = q/lessapprox;MSF=1.6;AAT/;
  523. $cached_env_img{$key} = q|<IMG
  524.  STYLE="" SRC="|."$dir".q|img208.png"
  525.  ALT="$\lessapprox$">|; 
  526. $key = q/lessdot;MSF=1.6;AAT/;
  527. $cached_env_img{$key} = q|<IMG
  528.  STYLE="" SRC="|."$dir".q|img344.png"
  529.  ALT="$\lessdot$">|; 
  530. $key = q/lesseqgtr;MSF=1.6;AAT/;
  531. $cached_env_img{$key} = q|<IMG
  532.  STYLE="" SRC="|."$dir".q|img237.png"
  533.  ALT="$\lesseqgtr$">|; 
  534. $key = q/lesseqqgtr;MSF=1.6;AAT/;
  535. $cached_env_img{$key} = q|<IMG
  536.  STYLE="" SRC="|."$dir".q|img239.png"
  537.  ALT="$\lesseqqgtr$">|; 
  538. $key = q/lessgtr;MSF=1.6;AAT/;
  539. $cached_env_img{$key} = q|<IMG
  540.  STYLE="" SRC="|."$dir".q|img216.png"
  541.  ALT="$\lessgtr$">|; 
  542. $key = q/lesssim;MSF=1.6;AAT/;
  543. $cached_env_img{$key} = q|<IMG
  544.  STYLE="" SRC="|."$dir".q|img207.png"
  545.  ALT="$\lesssim$">|; 
  546. $key = q/lgroup;MSF=1.6;AAT/;
  547. $cached_env_img{$key} = q|<IMG
  548.  STYLE="" SRC="|."$dir".q|img139.png"
  549.  ALT="$\lgroup$">|; 
  550. $key = q/lhd;MSF=1.6;AAT/;
  551. $cached_env_img{$key} = q|<IMG
  552.  STYLE="" SRC="|."$dir".q|img31.png"
  553.  ALT="$\lhd$">|; 
  554. $key = q/ll;MSF=1.6;AAT/;
  555. $cached_env_img{$key} = q|<IMG
  556.  STYLE="" SRC="|."$dir".q|img45.png"
  557.  ALT="$\ll$">|; 
  558. $key = q/llcorner;MSF=1.6;AAT/;
  559. $cached_env_img{$key} = q|<IMG
  560.  STYLE="" SRC="|."$dir".q|img274.png"
  561.  ALT="$\llcorner$">|; 
  562. $key = q/lll;MSF=1.6;AAT/;
  563. $cached_env_img{$key} = q|<IMG
  564.  STYLE="" SRC="|."$dir".q|img261.png"
  565.  ALT="$\lll$">|; 
  566. $key = q/lmoustache;MSF=1.6;AAT/;
  567. $cached_env_img{$key} = q|<IMG
  568.  STYLE="" SRC="|."$dir".q|img137.png"
  569.  ALT="$\lmoustache$">|; 
  570. $key = q/lnapprox;MSF=1.6;AAT/;
  571. $cached_env_img{$key} = q|<IMG
  572.  STYLE="" SRC="|."$dir".q|img304.png"
  573.  ALT="$\lnapprox$">|; 
  574. $key = q/lneq;MSF=1.6;AAT/;
  575. $cached_env_img{$key} = q|<IMG
  576.  STYLE="" SRC="|."$dir".q|img290.png"
  577.  ALT="$\lneq$">|; 
  578. $key = q/lneqq;MSF=1.6;AAT/;
  579. $cached_env_img{$key} = q|<IMG
  580.  STYLE="" SRC="|."$dir".q|img286.png"
  581.  ALT="$\lneqq$">|; 
  582. $key = q/lnsim;MSF=1.6;AAT/;
  583. $cached_env_img{$key} = q|<IMG
  584.  STYLE="" SRC="|."$dir".q|img296.png"
  585.  ALT="$\lnsim$">|; 
  586. $key = q/longleftrightarrow;MSF=1.6;AAT/;
  587. $cached_env_img{$key} = q|<IMG
  588.  STYLE="" SRC="|."$dir".q|img63.png"
  589.  ALT="$\longleftrightarrow$">|; 
  590. $key = q/longmapsto;MSF=1.6;AAT/;
  591. $cached_env_img{$key} = q|<IMG
  592.  STYLE="" SRC="|."$dir".q|img68.png"
  593.  ALT="$\longmapsto$">|; 
  594. $key = q/looparrowleft;MSF=1.6;AAT/;
  595. $cached_env_img{$key} = q|<IMG
  596.  STYLE="" SRC="|."$dir".q|img196.png"
  597.  ALT="$\looparrowleft$">|; 
  598. $key = q/looparrowright;MSF=1.6;AAT/;
  599. $cached_env_img{$key} = q|<IMG
  600.  STYLE="" SRC="|."$dir".q|img197.png"
  601.  ALT="$\looparrowright$">|; 
  602. $key = q/lrcorner;MSF=1.6;AAT/;
  603. $cached_env_img{$key} = q|<IMG
  604.  STYLE="" SRC="|."$dir".q|img275.png"
  605.  ALT="$\lrcorner$">|; 
  606. $key = q/ltimes;MSF=1.6;AAT/;
  607. $cached_env_img{$key} = q|<IMG
  608.  STYLE="" SRC="|."$dir".q|img346.png"
  609.  ALT="$\ltimes$">|; 
  610. $key = q/lvertneqq;MSF=1.6;AAT/;
  611. $cached_env_img{$key} = q|<IMG
  612.  STYLE="" SRC="|."$dir".q|img278.png"
  613.  ALT="$\lvertneqq$">|; 
  614. $key = q/maltese;MSF=1.6;AAT/;
  615. $cached_env_img{$key} = q|<IMG
  616.  STYLE="" SRC="|."$dir".q|img277.png"
  617.  ALT="$\maltese$">|; 
  618. $key = q/mapsto;MSF=1.6;AAT/;
  619. $cached_env_img{$key} = q|<IMG
  620.  STYLE="" SRC="|."$dir".q|img67.png"
  621.  ALT="$\mapsto$">|; 
  622. $key = q/measuredangle;MSF=1.6;AAT/;
  623. $cached_env_img{$key} = q|<IMG
  624.  STYLE="" SRC="|."$dir".q|img244.png"
  625.  ALT="$\measuredangle$">|; 
  626. $key = q/mho;MSF=1.6;AAT/;
  627. $cached_env_img{$key} = q|<IMG
  628.  STYLE="" SRC="|."$dir".q|img340.png"
  629.  ALT="$\mho$">|; 
  630. $key = q/models;MSF=1.6;AAT/;
  631. $cached_env_img{$key} = q|<IMG
  632.  STYLE="" SRC="|."$dir".q|img39.png"
  633.  ALT="$\models$">|; 
  634. $key = q/mp;MSF=1.6;AAT/;
  635. $cached_env_img{$key} = q|<IMG
  636.  STYLE="" SRC="|."$dir".q|img20.png"
  637.  ALT="$\mp$">|; 
  638. $key = q/multimap;MSF=1.6;AAT/;
  639. $cached_env_img{$key} = q|<IMG
  640.  STYLE="" SRC="|."$dir".q|img202.png"
  641.  ALT="$\multimap$">|; 
  642. $key = q/nLeftarrow;MSF=1.6;AAT/;
  643. $cached_env_img{$key} = q|<IMG
  644.  STYLE="" SRC="|."$dir".q|img334.png"
  645.  ALT="$\nLeftarrow$">|; 
  646. $key = q/nLeftrightarrow;MSF=1.6;AAT/;
  647. $cached_env_img{$key} = q|<IMG
  648.  STYLE="" SRC="|."$dir".q|img336.png"
  649.  ALT="$\nLeftrightarrow$">|; 
  650. $key = q/nRightarrow;MSF=1.6;AAT/;
  651. $cached_env_img{$key} = q|<IMG
  652.  STYLE="" SRC="|."$dir".q|img335.png"
  653.  ALT="$\nRightarrow$">|; 
  654. $key = q/nVDash;MSF=1.6;AAT/;
  655. $cached_env_img{$key} = q|<IMG
  656.  STYLE="" SRC="|."$dir".q|img327.png"
  657.  ALT="$\nVDash$">|; 
  658. $key = q/nVdash;MSF=1.6;AAT/;
  659. $cached_env_img{$key} = q|<IMG
  660.  STYLE="" SRC="|."$dir".q|img325.png"
  661.  ALT="$\nVdash$">|; 
  662. $key = q/napprox;MSF=1.6;AAT/;
  663. $cached_env_img{$key} = q|<IMG
  664.  STYLE="" SRC="|."$dir".q|img307.png"
  665.  ALT="$\napprox$">|; 
  666. $key = q/natural;MSF=1.6;AAT/;
  667. $cached_env_img{$key} = q|<IMG
  668.  STYLE="" SRC="|."$dir".q|img90.png"
  669.  ALT="$\natural$">|; 
  670. $key = q/nearrow;MSF=1.6;AAT/;
  671. $cached_env_img{$key} = q|<IMG
  672.  STYLE="" SRC="|."$dir".q|img69.png"
  673.  ALT="$\nearrow$">|; 
  674. $key = q/nexists;MSF=1.6;AAT/;
  675. $cached_env_img{$key} = q|<IMG
  676.  STYLE="" SRC="|."$dir".q|img339.png"
  677.  ALT="$\nexists$">|; 
  678. $key = q/ngeq;MSF=1.6;AAT/;
  679. $cached_env_img{$key} = q|<IMG
  680.  STYLE="" SRC="|."$dir".q|img281.png"
  681.  ALT="$\ngeq$">|; 
  682. $key = q/ngeqq;MSF=1.6;AAT/;
  683. $cached_env_img{$key} = q|<IMG
  684.  STYLE="" SRC="|."$dir".q|img299.png"
  685.  ALT="$\ngeqq$">|; 
  686. $key = q/ngeqslant;MSF=1.6;AAT/;
  687. $cached_env_img{$key} = q|<IMG
  688.  STYLE="" SRC="|."$dir".q|img289.png"
  689.  ALT="$\ngeqslant$">|; 
  690. $key = q/ngtr;MSF=1.6;AAT/;
  691. $cached_env_img{$key} = q|<IMG
  692.  STYLE="" SRC="|."$dir".q|img283.png"
  693.  ALT="$\ngtr$">|; 
  694. $key = q/nleftarrow;MSF=1.6;AAT/;
  695. $cached_env_img{$key} = q|<IMG
  696.  STYLE="" SRC="|."$dir".q|img332.png"
  697.  ALT="$\nleftarrow$">|; 
  698. $key = q/nleftrightarrow;MSF=1.6;AAT/;
  699. $cached_env_img{$key} = q|<IMG
  700.  STYLE="" SRC="|."$dir".q|img337.png"
  701.  ALT="$\nleftrightarrow$">|; 
  702. $key = q/nleq;MSF=1.6;AAT/;
  703. $cached_env_img{$key} = q|<IMG
  704.  STYLE="" SRC="|."$dir".q|img280.png"
  705.  ALT="$\nleq$">|; 
  706. $key = q/nleqq;MSF=1.6;AAT/;
  707. $cached_env_img{$key} = q|<IMG
  708.  STYLE="" SRC="|."$dir".q|img298.png"
  709.  ALT="$\nleqq$">|; 
  710. $key = q/nleqslant;MSF=1.6;AAT/;
  711. $cached_env_img{$key} = q|<IMG
  712.  STYLE="" SRC="|."$dir".q|img288.png"
  713.  ALT="$\nleqslant$">|; 
  714. $key = q/nless;MSF=1.6;AAT/;
  715. $cached_env_img{$key} = q|<IMG
  716.  STYLE="" SRC="|."$dir".q|img282.png"
  717.  ALT="$\nless$">|; 
  718. $key = q/nmid;MSF=1.6;AAT/;
  719. $cached_env_img{$key} = q|<IMG
  720.  STYLE="" SRC="|."$dir".q|img321.png"
  721.  ALT="$\nmid$">|; 
  722. $key = q/nparallel;MSF=1.6;AAT/;
  723. $cached_env_img{$key} = q|<IMG
  724.  STYLE="" SRC="|."$dir".q|img320.png"
  725.  ALT="$\nparallel$">|; 
  726. $key = q/nprec;MSF=1.6;AAT/;
  727. $cached_env_img{$key} = q|<IMG
  728.  STYLE="" SRC="|."$dir".q|img284.png"
  729.  ALT="$\nprec$">|; 
  730. $key = q/npreceq;MSF=1.6;AAT/;
  731. $cached_env_img{$key} = q|<IMG
  732.  STYLE="" SRC="|."$dir".q|img292.png"
  733.  ALT="$\npreceq$">|; 
  734. $key = q/nrightarrow;MSF=1.6;AAT/;
  735. $cached_env_img{$key} = q|<IMG
  736.  STYLE="" SRC="|."$dir".q|img333.png"
  737.  ALT="$\nrightarrow$">|; 
  738. $key = q/nshortmid;MSF=1.6;AAT/;
  739. $cached_env_img{$key} = q|<IMG
  740.  STYLE="" SRC="|."$dir".q|img322.png"
  741.  ALT="$\nshortmid$">|; 
  742. $key = q/nshortparallel;MSF=1.6;AAT/;
  743. $cached_env_img{$key} = q|<IMG
  744.  STYLE="" SRC="|."$dir".q|img323.png"
  745.  ALT="$\nshortparallel$">|; 
  746. $key = q/nsim;MSF=1.6;AAT/;
  747. $cached_env_img{$key} = q|<IMG
  748.  STYLE="" SRC="|."$dir".q|img306.png"
  749.  ALT="$\nsim$">|; 
  750. $key = q/nsubseteq;MSF=1.6;AAT/;
  751. $cached_env_img{$key} = q|<IMG
  752.  STYLE="" SRC="|."$dir".q|img318.png"
  753.  ALT="$\nsubseteq$">|; 
  754. $key = q/nsubseteqq;MSF=1.6;AAT/;
  755. $cached_env_img{$key} = q|<IMG
  756.  STYLE="" SRC="|."$dir".q|img310.png"
  757.  ALT="$\nsubseteqq$">|; 
  758. $key = q/nsucc;MSF=1.6;AAT/;
  759. $cached_env_img{$key} = q|<IMG
  760.  STYLE="" SRC="|."$dir".q|img285.png"
  761.  ALT="$\nsucc$">|; 
  762. $key = q/nsucceq;MSF=1.6;AAT/;
  763. $cached_env_img{$key} = q|<IMG
  764.  STYLE="" SRC="|."$dir".q|img293.png"
  765.  ALT="$\nsucceq$">|; 
  766. $key = q/nsupseteq;MSF=1.6;AAT/;
  767. $cached_env_img{$key} = q|<IMG
  768.  STYLE="" SRC="|."$dir".q|img319.png"
  769.  ALT="$\nsupseteq$">|; 
  770. $key = q/nsupseteqq;MSF=1.6;AAT/;
  771. $cached_env_img{$key} = q|<IMG
  772.  STYLE="" SRC="|."$dir".q|img311.png"
  773.  ALT="$\nsupseteqq$">|; 
  774. $key = q/ntriangleleft;MSF=1.6;AAT/;
  775. $cached_env_img{$key} = q|<IMG
  776.  STYLE="" SRC="|."$dir".q|img330.png"
  777.  ALT="$\ntriangleleft$">|; 
  778. $key = q/ntrianglelefteq;MSF=1.6;AAT/;
  779. $cached_env_img{$key} = q|<IMG
  780.  STYLE="" SRC="|."$dir".q|img329.png"
  781.  ALT="$\ntrianglelefteq$">|; 
  782. $key = q/ntriangleright;MSF=1.6;AAT/;
  783. $cached_env_img{$key} = q|<IMG
  784.  STYLE="" SRC="|."$dir".q|img331.png"
  785.  ALT="$\ntriangleright$">|; 
  786. $key = q/ntrianglerighteq;MSF=1.6;AAT/;
  787. $cached_env_img{$key} = q|<IMG
  788.  STYLE="" SRC="|."$dir".q|img328.png"
  789.  ALT="$\ntrianglerighteq$">|; 
  790. $key = q/nvDash;MSF=1.6;AAT/;
  791. $cached_env_img{$key} = q|<IMG
  792.  STYLE="" SRC="|."$dir".q|img326.png"
  793.  ALT="$\nvDash$">|; 
  794. $key = q/nvdash;MSF=1.6;AAT/;
  795. $cached_env_img{$key} = q|<IMG
  796.  STYLE="" SRC="|."$dir".q|img324.png"
  797.  ALT="$\nvdash$">|; 
  798. $key = q/nwarrow;MSF=1.6;AAT/;
  799. $cached_env_img{$key} = q|<IMG
  800.  STYLE="" SRC="|."$dir".q|img78.png"
  801.  ALT="$\nwarrow$">|; 
  802. $key = q/odot;MSF=1.6;AAT/;
  803. $cached_env_img{$key} = q|<IMG
  804.  STYLE="" SRC="|."$dir".q|img29.png"
  805.  ALT="$\odot$">|; 
  806. $key = q/ominus;MSF=1.6;AAT/;
  807. $cached_env_img{$key} = q|<IMG
  808.  STYLE="" SRC="|."$dir".q|img22.png"
  809.  ALT="$\ominus$">|; 
  810. $key = q/overbrace{{abc}},;MSF=1.6;AAT/;
  811. $cached_env_img{$key} = q|<IMG
  812.  STYLE="" SRC="|."$dir".q|img159.png"
  813.  ALT="$\overbrace{{abc}} $">|; 
  814. $key = q/overleftarrow{abc};MSF=1.6;AAT/;
  815. $cached_env_img{$key} = q|<IMG
  816.  STYLE="" SRC="|."$dir".q|img155.png"
  817.  ALT="$\overleftarrow{abc}$">|; 
  818. $key = q/overline{{abc}};MSF=1.6;AAT/;
  819. $cached_env_img{$key} = q|<IMG
  820.  STYLE="" SRC="|."$dir".q|img157.png"
  821.  ALT="$\overline{{abc}}$">|; 
  822. $key = q/overrightarrow{abc};MSF=1.6;AAT/;
  823. $cached_env_img{$key} = q|<IMG
  824.  STYLE="" SRC="|."$dir".q|img156.png"
  825.  ALT="$\overrightarrow{abc}$">|; 
  826. $key = q/pitchfork;MSF=1.6;AAT/;
  827. $cached_env_img{$key} = q|<IMG
  828.  STYLE="" SRC="|."$dir".q|img264.png"
  829.  ALT="$\pitchfork$">|; 
  830. $key = q/prec;MSF=1.6;AAT/;
  831. $cached_env_img{$key} = q|<IMG
  832.  STYLE="" SRC="|."$dir".q|img40.png"
  833.  ALT="$\prec$">|; 
  834. $key = q/precapprox;MSF=1.6;AAT/;
  835. $cached_env_img{$key} = q|<IMG
  836.  STYLE="" SRC="|."$dir".q|img355.png"
  837.  ALT="$\precapprox$">|; 
  838. $key = q/preccurlyeq;MSF=1.6;AAT/;
  839. $cached_env_img{$key} = q|<IMG
  840.  STYLE="" SRC="|."$dir".q|img213.png"
  841.  ALT="$\preccurlyeq$">|; 
  842. $key = q/preceq;MSF=1.6;AAT/;
  843. $cached_env_img{$key} = q|<IMG
  844.  STYLE="" SRC="|."$dir".q|img42.png"
  845.  ALT="$\preceq$">|; 
  846. $key = q/precnapprox;MSF=1.6;AAT/;
  847. $cached_env_img{$key} = q|<IMG
  848.  STYLE="" SRC="|."$dir".q|img302.png"
  849.  ALT="$\precnapprox$">|; 
  850. $key = q/precneqq;MSF=1.6;AAT/;
  851. $cached_env_img{$key} = q|<IMG
  852.  STYLE="" SRC="|."$dir".q|img300.png"
  853.  ALT="$\precneqq$">|; 
  854. $key = q/precnsim;MSF=1.6;AAT/;
  855. $cached_env_img{$key} = q|<IMG
  856.  STYLE="" SRC="|."$dir".q|img294.png"
  857.  ALT="$\precnsim$">|; 
  858. $key = q/precsim;MSF=1.6;AAT/;
  859. $cached_env_img{$key} = q|<IMG
  860.  STYLE="" SRC="|."$dir".q|img206.png"
  861.  ALT="$\precsim$">|; 
  862. $key = q/rgroup;MSF=1.6;AAT/;
  863. $cached_env_img{$key} = q|<IMG
  864.  STYLE="" SRC="|."$dir".q|img138.png"
  865.  ALT="$\rgroup$">|; 
  866. $key = q/rhd;MSF=1.6;AAT/;
  867. $cached_env_img{$key} = q|<IMG
  868.  STYLE="" SRC="|."$dir".q|img33.png"
  869.  ALT="$\rhd$">|; 
  870. $key = q/rightarrowtail;MSF=1.6;AAT/;
  871. $cached_env_img{$key} = q|<IMG
  872.  STYLE="" SRC="|."$dir".q|img188.png"
  873.  ALT="$\rightarrowtail$">|; 
  874. $key = q/rightharpoondown;MSF=1.6;AAT/;
  875. $cached_env_img{$key} = q|<IMG
  876.  STYLE="" SRC="|."$dir".q|img77.png"
  877.  ALT="$\rightharpoondown$">|; 
  878. $key = q/rightharpoonup;MSF=1.6;AAT/;
  879. $cached_env_img{$key} = q|<IMG
  880.  STYLE="" SRC="|."$dir".q|img74.png"
  881.  ALT="$\rightharpoonup$">|; 
  882. $key = q/rightleftarrows;MSF=1.6;AAT/;
  883. $cached_env_img{$key} = q|<IMG
  884.  STYLE="" SRC="|."$dir".q|img191.png"
  885.  ALT="$\rightleftarrows$">|; 
  886. $key = q/rightleftharpoons;MSF=1.6;AAT/;
  887. $cached_env_img{$key} = q|<IMG
  888.  STYLE="" SRC="|."$dir".q|img172.png"
  889.  ALT="$\rightleftharpoons$">|; 
  890. $key = q/rightrightarrows;MSF=1.6;AAT/;
  891. $cached_env_img{$key} = q|<IMG
  892.  STYLE="" SRC="|."$dir".q|img181.png"
  893.  ALT="$\rightrightarrows$">|; 
  894. $key = q/rightsquigarrow;MSF=1.6;AAT/;
  895. $cached_env_img{$key} = q|<IMG
  896.  STYLE="" SRC="|."$dir".q|img194.png"
  897.  ALT="$\rightsquigarrow$">|; 
  898. $key = q/rightthreetimes;MSF=1.6;AAT/;
  899. $cached_env_img{$key} = q|<IMG
  900.  STYLE="" SRC="|."$dir".q|img256.png"
  901.  ALT="$\rightthreetimes$">|; 
  902. $key = q/risingdotseq;MSF=1.6;AAT/;
  903. $cached_env_img{$key} = q|<IMG
  904.  STYLE="" SRC="|."$dir".q|img218.png"
  905.  ALT="$\risingdotseq$">|; 
  906. $key = q/rmoustache;MSF=1.6;AAT/;
  907. $cached_env_img{$key} = q|<IMG
  908.  STYLE="" SRC="|."$dir".q|img136.png"
  909.  ALT="$\rmoustache$">|; 
  910. $key = q/rtimes;MSF=1.6;AAT/;
  911. $cached_env_img{$key} = q|<IMG
  912.  STYLE="" SRC="|."$dir".q|img347.png"
  913.  ALT="$\rtimes$">|; 
  914. $key = q/searrow;MSF=1.6;AAT/;
  915. $cached_env_img{$key} = q|<IMG
  916.  STYLE="" SRC="|."$dir".q|img72.png"
  917.  ALT="$\searrow$">|; 
  918. $key = q/setminus;MSF=1.6;AAT/;
  919. $cached_env_img{$key} = q|<IMG
  920.  STYLE="" SRC="|."$dir".q|img34.png"
  921.  ALT="$\setminus$">|; 
  922. $key = q/sharp;MSF=1.6;AAT/;
  923. $cached_env_img{$key} = q|<IMG
  924.  STYLE="" SRC="|."$dir".q|img92.png"
  925.  ALT="$\sharp$">|; 
  926. $key = q/shortmid;MSF=1.6;AAT/;
  927. $cached_env_img{$key} = q|<IMG
  928.  STYLE="" SRC="|."$dir".q|img348.png"
  929.  ALT="$\shortmid$">|; 
  930. $key = q/shortparallel;MSF=1.6;AAT/;
  931. $cached_env_img{$key} = q|<IMG
  932.  STYLE="" SRC="|."$dir".q|img349.png"
  933.  ALT="$\shortparallel$">|; 
  934. $key = q/simeq;MSF=1.6;AAT/;
  935. $cached_env_img{$key} = q|<IMG
  936.  STYLE="" SRC="|."$dir".q|img44.png"
  937.  ALT="$\simeq$">|; 
  938. $key = q/smallfrown;MSF=1.6;AAT/;
  939. $cached_env_img{$key} = q|<IMG
  940.  STYLE="" SRC="|."$dir".q|img248.png"
  941.  ALT="$\smallfrown$">|; 
  942. $key = q/smallsetminus;MSF=1.6;AAT/;
  943. $cached_env_img{$key} = q|<IMG
  944.  STYLE="" SRC="|."$dir".q|img350.png"
  945.  ALT="$\smallsetminus$">|; 
  946. $key = q/smallsmile;MSF=1.6;AAT/;
  947. $cached_env_img{$key} = q|<IMG
  948.  STYLE="" SRC="|."$dir".q|img247.png"
  949.  ALT="$\smallsmile$">|; 
  950. $key = q/smile;MSF=1.6;AAT/;
  951. $cached_env_img{$key} = q|<IMG
  952.  STYLE="" SRC="|."$dir".q|img52.png"
  953.  ALT="$\smile$">|; 
  954. $key = q/sphericalangle;MSF=1.6;AAT/;
  955. $cached_env_img{$key} = q|<IMG
  956.  STYLE="" SRC="|."$dir".q|img245.png"
  957.  ALT="$\sphericalangle$">|; 
  958. $key = q/sqcap;MSF=1.6;AAT/;
  959. $cached_env_img{$key} = q|<IMG
  960.  STYLE="" SRC="|."$dir".q|img25.png"
  961.  ALT="$\sqcap$">|; 
  962. $key = q/sqcup;MSF=1.6;AAT/;
  963. $cached_env_img{$key} = q|<IMG
  964.  STYLE="" SRC="|."$dir".q|img27.png"
  965.  ALT="$\sqcup$">|; 
  966. $key = q/sqrt[n]{{abc}};MSF=1.6;AAT/;
  967. $cached_env_img{$key} = q|<IMG
  968.  STYLE="" SRC="|."$dir".q|img162.png"
  969.  ALT="$\sqrt[n]{{abc}}$">|; 
  970. $key = q/sqrt{{abc}};MSF=1.6;AAT/;
  971. $cached_env_img{$key} = q|<IMG
  972.  STYLE="" SRC="|."$dir".q|img161.png"
  973.  ALT="$\sqrt{{abc}}$">|; 
  974. $key = q/sqsubset;MSF=1.6;AAT/;
  975. $cached_env_img{$key} = q|<IMG
  976.  STYLE="" SRC="|."$dir".q|img50.png"
  977.  ALT="$\sqsubset$">|; 
  978. $key = q/sqsubseteq;MSF=1.6;AAT/;
  979. $cached_env_img{$key} = q|<IMG
  980.  STYLE="" SRC="|."$dir".q|img53.png"
  981.  ALT="$\sqsubseteq$">|; 
  982. $key = q/sqsupset;MSF=1.6;AAT/;
  983. $cached_env_img{$key} = q|<IMG
  984.  STYLE="" SRC="|."$dir".q|img51.png"
  985.  ALT="$\sqsupset$">|; 
  986. $key = q/sqsupseteq;MSF=1.6;AAT/;
  987. $cached_env_img{$key} = q|<IMG
  988.  STYLE="" SRC="|."$dir".q|img54.png"
  989.  ALT="$\sqsupseteq$">|; 
  990. $key = q/square;MSF=1.6;AAT/;
  991. $cached_env_img{$key} = q|<IMG
  992.  STYLE="" SRC="|."$dir".q|img167.png"
  993.  ALT="$\square$">|; 
  994. $key = q/star;MSF=1.6;AAT/;
  995. $cached_env_img{$key} = q|<IMG
  996.  STYLE="" SRC="|."$dir".q|img30.png"
  997.  ALT="$\star$">|; 
  998. $key = q/subseteqq;MSF=1.6;AAT/;
  999. $cached_env_img{$key} = q|<IMG
  1000.  STYLE="" SRC="|."$dir".q|img257.png"
  1001.  ALT="$\subseteqq$">|; 
  1002. $key = q/subsetneq;MSF=1.6;AAT/;
  1003. $cached_env_img{$key} = q|<IMG
  1004.  STYLE="" SRC="|."$dir".q|img316.png"
  1005.  ALT="$\subsetneq$">|; 
  1006. $key = q/subsetneqq;MSF=1.6;AAT/;
  1007. $cached_env_img{$key} = q|<IMG
  1008.  STYLE="" SRC="|."$dir".q|img312.png"
  1009.  ALT="$\subsetneqq$">|; 
  1010. $key = q/succ;MSF=1.6;AAT/;
  1011. $cached_env_img{$key} = q|<IMG
  1012.  STYLE="" SRC="|."$dir".q|img41.png"
  1013.  ALT="$\succ$">|; 
  1014. $key = q/succapprox;MSF=1.6;AAT/;
  1015. $cached_env_img{$key} = q|<IMG
  1016.  STYLE="" SRC="|."$dir".q|img354.png"
  1017.  ALT="$\succapprox$">|; 
  1018. $key = q/succcurlyeq;MSF=1.6;AAT/;
  1019. $cached_env_img{$key} = q|<IMG
  1020.  STYLE="" SRC="|."$dir".q|img220.png"
  1021.  ALT="$\succcurlyeq$">|; 
  1022. $key = q/succeq;MSF=1.6;AAT/;
  1023. $cached_env_img{$key} = q|<IMG
  1024.  STYLE="" SRC="|."$dir".q|img43.png"
  1025.  ALT="$\succeq$">|; 
  1026. $key = q/succnapprox;MSF=1.6;AAT/;
  1027. $cached_env_img{$key} = q|<IMG
  1028.  STYLE="" SRC="|."$dir".q|img303.png"
  1029.  ALT="$\succnapprox$">|; 
  1030. $key = q/succneqq;MSF=1.6;AAT/;
  1031. $cached_env_img{$key} = q|<IMG
  1032.  STYLE="" SRC="|."$dir".q|img301.png"
  1033.  ALT="$\succneqq$">|; 
  1034. $key = q/succnsim;MSF=1.6;AAT/;
  1035. $cached_env_img{$key} = q|<IMG
  1036.  STYLE="" SRC="|."$dir".q|img295.png"
  1037.  ALT="$\succnsim$">|; 
  1038. $key = q/succsim;MSF=1.6;AAT/;
  1039. $cached_env_img{$key} = q|<IMG
  1040.  STYLE="" SRC="|."$dir".q|img199.png"
  1041.  ALT="$\succsim$">|; 
  1042. $key = q/supseteqq;MSF=1.6;AAT/;
  1043. $cached_env_img{$key} = q|<IMG
  1044.  STYLE="" SRC="|."$dir".q|img258.png"
  1045.  ALT="$\supseteqq$">|; 
  1046. $key = q/supsetneq;MSF=1.6;AAT/;
  1047. $cached_env_img{$key} = q|<IMG
  1048.  STYLE="" SRC="|."$dir".q|img317.png"
  1049.  ALT="$\supsetneq$">|; 
  1050. $key = q/supsetneqq;MSF=1.6;AAT/;
  1051. $cached_env_img{$key} = q|<IMG
  1052.  STYLE="" SRC="|."$dir".q|img313.png"
  1053.  ALT="$\supsetneqq$">|; 
  1054. $key = q/swarrow;MSF=1.6;AAT/;
  1055. $cached_env_img{$key} = q|<IMG
  1056.  STYLE="" SRC="|."$dir".q|img75.png"
  1057.  ALT="$\swarrow$">|; 
  1058. $key = q/thickapprox;MSF=1.6;AAT/;
  1059. $cached_env_img{$key} = q|<IMG
  1060.  STYLE="" SRC="|."$dir".q|img352.png"
  1061.  ALT="$\thickapprox$">|; 
  1062. $key = q/thicksim;MSF=1.6;AAT/;
  1063. $cached_env_img{$key} = q|<IMG
  1064.  STYLE="" SRC="|."$dir".q|img351.png"
  1065.  ALT="$\thicksim$">|; 
  1066. $key = q/thorn;MSF=1.6;AAT/;
  1067. $cached_env_img{$key} = q|<IMG
  1068.  STYLE="" SRC="|."$dir".q|img341.png"
  1069.  ALT="$\thorn$">|; 
  1070. $key = q/tilde{{a}};MSF=1.6;AAT/;
  1071. $cached_env_img{$key} = q|<IMG
  1072.  STYLE="" SRC="|."$dir".q|img152.png"
  1073.  ALT="$\tilde{{a}}$">|; 
  1074. $key = q/top;MSF=1.6;AAT/;
  1075. $cached_env_img{$key} = q|<IMG
  1076.  STYLE="" SRC="|."$dir".q|img89.png"
  1077.  ALT="$\top$">|; 
  1078. $key = q/triangle;MSF=1.6;AAT/;
  1079. $cached_env_img{$key} = q|<IMG
  1080.  STYLE="" SRC="|."$dir".q|img87.png"
  1081.  ALT="$\triangle$">|; 
  1082. $key = q/triangledown;MSF=1.6;AAT/;
  1083. $cached_env_img{$key} = q|<IMG
  1084.  STYLE="" SRC="|."$dir".q|img235.png"
  1085.  ALT="$\triangledown$">|; 
  1086. $key = q/triangleleft;MSF=1.6;AAT/;
  1087. $cached_env_img{$key} = q|<IMG
  1088.  STYLE="" SRC="|."$dir".q|img26.png"
  1089.  ALT="$\triangleleft$">|; 
  1090. $key = q/trianglelefteq;MSF=1.6;AAT/;
  1091. $cached_env_img{$key} = q|<IMG
  1092.  STYLE="" SRC="|."$dir".q|img227.png"
  1093.  ALT="$\trianglelefteq$">|; 
  1094. $key = q/triangleq;MSF=1.6;AAT/;
  1095. $cached_env_img{$key} = q|<IMG
  1096.  STYLE="" SRC="|."$dir".q|img205.png"
  1097.  ALT="$\triangleq$">|; 
  1098. $key = q/triangleright;MSF=1.6;AAT/;
  1099. $cached_env_img{$key} = q|<IMG
  1100.  STYLE="" SRC="|."$dir".q|img28.png"
  1101.  ALT="$\triangleright$">|; 
  1102. $key = q/trianglerighteq;MSF=1.6;AAT/;
  1103. $cached_env_img{$key} = q|<IMG
  1104.  STYLE="" SRC="|."$dir".q|img226.png"
  1105.  ALT="$\trianglerighteq$">|; 
  1106. $key = q/tt{string(&;MSF=1.6;AAT/;
  1107. $cached_env_img{$key} = q|<IMG
  1108.  STYLE="" SRC="|."$dir".q|img117.png"
  1109.  ALT="$\tt\string( &$">|; 
  1110. $key = q/tt{string)&;MSF=1.6;AAT/;
  1111. $cached_env_img{$key} = q|<IMG
  1112.  STYLE="" SRC="|."$dir".q|img118.png"
  1113.  ALT="$\tt\string) &$">|; 
  1114. $key = q/tt{string.&;MSF=1.6;AAT/;
  1115. $cached_env_img{$key} = q|<IMG
  1116.  STYLE="" SRC="|."$dir".q|img101.png"
  1117.  ALT="$\tt\string. &$">|; 
  1118. $key = q/tt{stringDownarrowdollar;MSF=1.6;AAT/;
  1119. $cached_env_img{$key} = q|<IMG
  1120.  STYLE="" SRC="|."$dir".q|img124.png"
  1121.  ALT="$\tt\string\Downarrow \\\\
  1122. $">|; 
  1123. $key = q/tt{stringIm&;MSF=1.6;AAT/;
  1124. $cached_env_img{$key} = q|<IMG
  1125.  STYLE="" SRC="|."$dir".q|img96.png"
  1126.  ALT="$\tt\string\Im &$">|; 
  1127. $key = q/tt{stringUparrowdollar;MSF=1.6;AAT/;
  1128. $cached_env_img{$key} = q|<IMG
  1129.  STYLE="" SRC="|."$dir".q|img120.png"
  1130.  ALT="$\tt\string\Uparrow \\\\
  1131. $">|; 
  1132. $key = q/tt{stringUpdownarrowdollar;MSF=1.6;AAT/;
  1133. $cached_env_img{$key} = q|<IMG
  1134.  STYLE="" SRC="|."$dir".q|img127.png"
  1135.  ALT="$\tt\string\Updownarrow \\\\
  1136. $">|; 
  1137. $key = q/tt{string[&;MSF=1.6;AAT/;
  1138. $cached_env_img{$key} = q|<IMG
  1139.  STYLE="" SRC="|."$dir".q|img121.png"
  1140.  ALT="$\tt\string[ &$">|; 
  1141. $key = q/tt{string]&;MSF=1.6;AAT/;
  1142. $cached_env_img{$key} = q|<IMG
  1143.  STYLE="" SRC="|."$dir".q|img122.png"
  1144.  ALT="$\tt\string] &$">|; 
  1145. $key = q/tt{stringangle&;MSF=1.6;AAT/;
  1146. $cached_env_img{$key} = q|<IMG
  1147.  STYLE="" SRC="|."$dir".q|img97.png"
  1148.  ALT="$\tt\string\angle &$">|; 
  1149. $key = q/tt{stringbackslash&;MSF=1.6;AAT/;
  1150. $cached_env_img{$key} = q|<IMG
  1151.  STYLE="" SRC="|."$dir".q|img94.png"
  1152.  ALT="$\tt\string\backslash &$">|; 
  1153. $key = q/tt{stringbackslashdollar;MSF=1.6;AAT/;
  1154. $cached_env_img{$key} = q|<IMG
  1155.  STYLE="" SRC="|."$dir".q|img135.png"
  1156.  ALT="$\tt\string\backslash \\\\
  1157. $">|; 
  1158. $key = q/tt{stringbigcap&;MSF=1.6;AAT/;
  1159. $cached_env_img{$key} = q|<IMG
  1160.  STYLE="" SRC="|."$dir".q|img104.png"
  1161.  ALT="$\tt\string\bigcap &$">|; 
  1162. $key = q/tt{stringbigcup&;MSF=1.6;AAT/;
  1163. $cached_env_img{$key} = q|<IMG
  1164.  STYLE="" SRC="|."$dir".q|img107.png"
  1165.  ALT="$\tt\string\bigcup &$">|; 
  1166. $key = q/tt{stringbigodotdollar;MSF=1.6;AAT/;
  1167. $cached_env_img{$key} = q|<IMG
  1168.  STYLE="" SRC="|."$dir".q|img105.png"
  1169.  ALT="$\tt\string\bigodot \\\\
  1170. $">|; 
  1171. $key = q/tt{stringbigoplusdollar;MSF=1.6;AAT/;
  1172. $cached_env_img{$key} = q|<IMG
  1173.  STYLE="" SRC="|."$dir".q|img111.png"
  1174.  ALT="$\tt\string\bigoplus \\\\
  1175. $">|; 
  1176. $key = q/tt{stringbigotimesdollar;MSF=1.6;AAT/;
  1177. $cached_env_img{$key} = q|<IMG
  1178.  STYLE="" SRC="|."$dir".q|img108.png"
  1179.  ALT="$\tt\string\bigotimes \\\\
  1180. $">|; 
  1181. $key = q/tt{stringbigsqcup&;MSF=1.6;AAT/;
  1182. $cached_env_img{$key} = q|<IMG
  1183.  STYLE="" SRC="|."$dir".q|img110.png"
  1184.  ALT="$\tt\string\bigsqcup &$">|; 
  1185. $key = q/tt{stringbiguplusdollar;MSF=1.6;AAT/;
  1186. $cached_env_img{$key} = q|<IMG
  1187.  STYLE="" SRC="|."$dir".q|img114.png"
  1188.  ALT="$\tt\string\biguplus \\\\
  1189. $">|; 
  1190. $key = q/tt{stringbigvee&;MSF=1.6;AAT/;
  1191. $cached_env_img{$key} = q|<IMG
  1192.  STYLE="" SRC="|."$dir".q|img113.png"
  1193.  ALT="$\tt\string\bigvee &$">|; 
  1194. $key = q/tt{stringbigwedge;MSF=1.6;AAT/;
  1195. $cached_env_img{$key} = q|<IMG
  1196.  STYLE="" SRC="|."$dir".q|img116.png"
  1197.  ALT="$\tt\string\bigwedge
  1198. $">|; 
  1199. $key = q/tt{stringcoprod&;MSF=1.6;AAT/;
  1200. $cached_env_img{$key} = q|<IMG
  1201.  STYLE="" SRC="|."$dir".q|img109.png"
  1202.  ALT="$\tt\string\coprod &$">|; 
  1203. $key = q/tt{stringdownarrow&;MSF=1.6;AAT/;
  1204. $cached_env_img{$key} = q|<IMG
  1205.  STYLE="" SRC="|."$dir".q|img123.png"
  1206.  ALT="$\tt\string\downarrow &$">|; 
  1207. $key = q/tt{stringheartsuitdollar;MSF=1.6;AAT/;
  1208. $cached_env_img{$key} = q|<IMG
  1209.  STYLE="" SRC="|."$dir".q|img95.png"
  1210.  ALT="$\tt\string\heartsuit \\\\
  1211. $">|; 
  1212. $key = q/tt{stringint&;MSF=1.6;AAT/;
  1213. $cached_env_img{$key} = q|<IMG
  1214.  STYLE="" SRC="|."$dir".q|img112.png"
  1215.  ALT="$\tt\string\int &$">|; 
  1216. $key = q/tt{stringlangle&;MSF=1.6;AAT/;
  1217. $cached_env_img{$key} = q|<IMG
  1218.  STYLE="" SRC="|."$dir".q|img132.png"
  1219.  ALT="$\tt\string\langle &$">|; 
  1220. $key = q/tt{stringlceil&;MSF=1.6;AAT/;
  1221. $cached_env_img{$key} = q|<IMG
  1222.  STYLE="" SRC="|."$dir".q|img130.png"
  1223.  ALT="$\tt\string\lceil &$">|; 
  1224. $key = q/tt{stringlfloor&;MSF=1.6;AAT/;
  1225. $cached_env_img{$key} = q|<IMG
  1226.  STYLE="" SRC="|."$dir".q|img128.png"
  1227.  ALT="$\tt\string\lfloor &$">|; 
  1228. $key = q/tt{stringmho&;MSF=1.6;AAT/;
  1229. $cached_env_img{$key} = q|<IMG
  1230.  STYLE="" SRC="|."$dir".q|img100.png"
  1231.  ALT="$\tt\string\mho &$">|; 
  1232. $key = q/tt{stringoint&;MSF=1.6;AAT/;
  1233. $cached_env_img{$key} = q|<IMG
  1234.  STYLE="" SRC="|."$dir".q|img115.png"
  1235.  ALT="$\tt\string\oint &$">|; 
  1236. $key = q/tt{stringpartial&;MSF=1.6;AAT/;
  1237. $cached_env_img{$key} = q|<IMG
  1238.  STYLE="" SRC="|."$dir".q|img98.png"
  1239.  ALT="$\tt\string\partial &$">|; 
  1240. $key = q/tt{stringprod&;MSF=1.6;AAT/;
  1241. $cached_env_img{$key} = q|<IMG
  1242.  STYLE="" SRC="|."$dir".q|img106.png"
  1243.  ALT="$\tt\string\prod &$">|; 
  1244. $key = q/tt{stringrangle&;MSF=1.6;AAT/;
  1245. $cached_env_img{$key} = q|<IMG
  1246.  STYLE="" SRC="|."$dir".q|img133.png"
  1247.  ALT="$\tt\string\rangle &$">|; 
  1248. $key = q/tt{stringrceildollar;MSF=1.6;AAT/;
  1249. $cached_env_img{$key} = q|<IMG
  1250.  STYLE="" SRC="|."$dir".q|img131.png"
  1251.  ALT="$\tt\string\rceil \\\\
  1252. $">|; 
  1253. $key = q/tt{stringrfloor&;MSF=1.6;AAT/;
  1254. $cached_env_img{$key} = q|<IMG
  1255.  STYLE="" SRC="|."$dir".q|img129.png"
  1256.  ALT="$\tt\string\rfloor &$">|; 
  1257. $key = q/tt{stringslash&;MSF=1.6;AAT/;
  1258. $cached_env_img{$key} = q|<IMG
  1259.  STYLE="" SRC="|."$dir".q|img134.png"
  1260.  ALT="$\tt\string/ &$">|; 
  1261. $key = q/tt{stringspadesuitdollar;MSF=1.6;AAT/;
  1262. $cached_env_img{$key} = q|<IMG
  1263.  STYLE="" SRC="|."$dir".q|img99.png"
  1264.  ALT="$\tt\string\spadesuit \\\\
  1265. $">|; 
  1266. $key = q/tt{stringsum&;MSF=1.6;AAT/;
  1267. $cached_env_img{$key} = q|<IMG
  1268.  STYLE="" SRC="|."$dir".q|img103.png"
  1269.  ALT="$\tt\string\sum &$">|; 
  1270. $key = q/tt{stringuparrow&;MSF=1.6;AAT/;
  1271. $cached_env_img{$key} = q|<IMG
  1272.  STYLE="" SRC="|."$dir".q|img119.png"
  1273.  ALT="$\tt\string\uparrow &$">|; 
  1274. $key = q/tt{stringupdownarrow&;MSF=1.6;AAT/;
  1275. $cached_env_img{$key} = q|<IMG
  1276.  STYLE="" SRC="|."$dir".q|img126.png"
  1277.  ALT="$\tt\string\updownarrow &$">|; 
  1278. $key = q/tt{string|&;MSF=1.6;AAT/;
  1279. $cached_env_img{$key} = q|<IMG
  1280.  STYLE="" SRC="|."$dir".q|img93.png"
  1281.  ALT="$\tt\string\Vert &$">|; 
  1282. $key = q/tt{string|;MSF=1.6;AAT/;
  1283. $cached_env_img{$key} = q|<IMG
  1284.  STYLE="" SRC="|."$dir".q|img102.png"
  1285.  ALT="$\tt\string\vert
  1286. $">|; 
  1287. $key = q/tt{string}&;MSF=1.6;AAT/;
  1288. $cached_env_img{$key} = q|<IMG
  1289.  STYLE="" SRC="|."$dir".q|img125.png"
  1290.  ALT="$\tt\string\} &$">|; 
  1291. $key = q/twoheadleftarrow;MSF=1.6;AAT/;
  1292. $cached_env_img{$key} = q|<IMG
  1293.  STYLE="" SRC="|."$dir".q|img179.png"
  1294.  ALT="$\twoheadleftarrow$">|; 
  1295. $key = q/twoheadrightarrow;MSF=1.6;AAT/;
  1296. $cached_env_img{$key} = q|<IMG
  1297.  STYLE="" SRC="|."$dir".q|img178.png"
  1298.  ALT="$\twoheadrightarrow$">|; 
  1299. $key = q/ulcorner;MSF=1.6;AAT/;
  1300. $cached_env_img{$key} = q|<IMG
  1301.  STYLE="" SRC="|."$dir".q|img272.png"
  1302.  ALT="$\ulcorner$">|; 
  1303. $key = q/underbrace{{abc}},;MSF=1.6;AAT/;
  1304. $cached_env_img{$key} = q|<IMG
  1305.  STYLE="" SRC="|."$dir".q|img160.png"
  1306.  ALT="$\underbrace{{abc}} $">|; 
  1307. $key = q/underline{{abc}};MSF=1.6;AAT/;
  1308. $cached_env_img{$key} = q|<IMG
  1309.  STYLE="" SRC="|."$dir".q|img158.png"
  1310.  ALT="$\underline{{abc}}$">|; 
  1311. $key = q/unlhd;MSF=1.6;AAT/;
  1312. $cached_env_img{$key} = q|<IMG
  1313.  STYLE="" SRC="|."$dir".q|img35.png"
  1314.  ALT="$\unlhd$">|; 
  1315. $key = q/unrhd;MSF=1.6;AAT/;
  1316. $cached_env_img{$key} = q|<IMG
  1317.  STYLE="" SRC="|."$dir".q|img37.png"
  1318.  ALT="$\unrhd$">|; 
  1319. $key = q/updownarrow;MSF=1.6;AAT/;
  1320. $cached_env_img{$key} = q|<IMG
  1321.  STYLE="" SRC="|."$dir".q|img64.png"
  1322.  ALT="$\updownarrow$">|; 
  1323. $key = q/upharpoonleft;MSF=1.6;AAT/;
  1324. $cached_env_img{$key} = q|<IMG
  1325.  STYLE="" SRC="|."$dir".q|img186.png"
  1326.  ALT="$\upharpoonleft$">|; 
  1327. $key = q/upharpoonright;MSF=1.6;AAT/;
  1328. $cached_env_img{$key} = q|<IMG
  1329.  STYLE="" SRC="|."$dir".q|img184.png"
  1330.  ALT="$\upharpoonright$">|; 
  1331. $key = q/uplus;MSF=1.6;AAT/;
  1332. $cached_env_img{$key} = q|<IMG
  1333.  STYLE="" SRC="|."$dir".q|img23.png"
  1334.  ALT="$\uplus$">|; 
  1335. $key = q/upuparrows;MSF=1.6;AAT/;
  1336. $cached_env_img{$key} = q|<IMG
  1337.  STYLE="" SRC="|."$dir".q|img182.png"
  1338.  ALT="$\upuparrows$">|; 
  1339. $key = q/urcorner;MSF=1.6;AAT/;
  1340. $cached_env_img{$key} = q|<IMG
  1341.  STYLE="" SRC="|."$dir".q|img273.png"
  1342.  ALT="$\urcorner$">|; 
  1343. $key = q/vDash;MSF=1.6;AAT/;
  1344. $cached_env_img{$key} = q|<IMG
  1345.  STYLE="" SRC="|."$dir".q|img177.png"
  1346.  ALT="$\vDash$">|; 
  1347. $key = q/varepsilon;MSF=1.6;AAT/;
  1348. $cached_env_img{$key} = q|<IMG
  1349.  STYLE="" SRC="|."$dir".q|img17.png"
  1350.  ALT="$\varepsilon$">|; 
  1351. $key = q/varkappa;MSF=1.6;AAT/;
  1352. $cached_env_img{$key} = q|<IMG
  1353.  STYLE="" SRC="|."$dir".q|img359.png"
  1354.  ALT="$\varkappa$">|; 
  1355. $key = q/varphi;MSF=1.6;AAT/;
  1356. $cached_env_img{$key} = q|<IMG
  1357.  STYLE="" SRC="|."$dir".q|img15.png"
  1358.  ALT="$\varphi$">|; 
  1359. $key = q/varpropto;MSF=1.6;AAT/;
  1360. $cached_env_img{$key} = q|<IMG
  1361.  STYLE="" SRC="|."$dir".q|img246.png"
  1362.  ALT="$\varpropto$">|; 
  1363. $key = q/varrho;MSF=1.6;AAT/;
  1364. $cached_env_img{$key} = q|<IMG
  1365.  STYLE="" SRC="|."$dir".q|img16.png"
  1366.  ALT="$\varrho$">|; 
  1367. $key = q/varsigma;MSF=1.6;AAT/;
  1368. $cached_env_img{$key} = q|<IMG
  1369.  STYLE="" SRC="|."$dir".q|img18.png"
  1370.  ALT="$\varsigma$">|; 
  1371. $key = q/varsubsetneq;MSF=1.6;AAT/;
  1372. $cached_env_img{$key} = q|<IMG
  1373.  STYLE="" SRC="|."$dir".q|img308.png"
  1374.  ALT="$\varsubsetneq$">|; 
  1375. $key = q/varsubsetneqq;MSF=1.6;AAT/;
  1376. $cached_env_img{$key} = q|<IMG
  1377.  STYLE="" SRC="|."$dir".q|img314.png"
  1378.  ALT="$\varsubsetneqq$">|; 
  1379. $key = q/varsupsetneq;MSF=1.6;AAT/;
  1380. $cached_env_img{$key} = q|<IMG
  1381.  STYLE="" SRC="|."$dir".q|img309.png"
  1382.  ALT="$\varsupsetneq$">|; 
  1383. $key = q/varsupsetneqq;MSF=1.6;AAT/;
  1384. $cached_env_img{$key} = q|<IMG
  1385.  STYLE="" SRC="|."$dir".q|img315.png"
  1386.  ALT="$\varsupsetneqq$">|; 
  1387. $key = q/vartheta;MSF=1.6;AAT/;
  1388. $cached_env_img{$key} = q|<IMG
  1389.  STYLE="" SRC="|."$dir".q|img14.png"
  1390.  ALT="$\vartheta$">|; 
  1391. $key = q/vartriangle;MSF=1.6;AAT/;
  1392. $cached_env_img{$key} = q|<IMG
  1393.  STYLE="" SRC="|."$dir".q|img233.png"
  1394.  ALT="$\vartriangle$">|; 
  1395. $key = q/vartriangleleft;MSF=1.6;AAT/;
  1396. $cached_env_img{$key} = q|<IMG
  1397.  STYLE="" SRC="|."$dir".q|img225.png"
  1398.  ALT="$\vartriangleleft$">|; 
  1399. $key = q/vartriangleright;MSF=1.6;AAT/;
  1400. $cached_env_img{$key} = q|<IMG
  1401.  STYLE="" SRC="|."$dir".q|img224.png"
  1402.  ALT="$\vartriangleright$">|; 
  1403. $key = q/vdash;MSF=1.6;AAT/;
  1404. $cached_env_img{$key} = q|<IMG
  1405.  STYLE="" SRC="|."$dir".q|img57.png"
  1406.  ALT="$\vdash$">|; 
  1407. $key = q/vdots;MSF=1.6;AAT/;
  1408. $cached_env_img{$key} = q|<IMG
  1409.  STYLE="" SRC="|."$dir".q|img79.png"
  1410.  ALT="$\vdots$">|; 
  1411. $key = q/vec{{a}},;MSF=1.6;AAT/;
  1412. $cached_env_img{$key} = q|<IMG
  1413.  STYLE="" SRC="|."$dir".q|img150.png"
  1414.  ALT="$\vec{{a}} $">|; 
  1415. $key = q/veebar;MSF=1.6;AAT/;
  1416. $cached_env_img{$key} = q|<IMG
  1417.  STYLE="" SRC="|."$dir".q|img241.png"
  1418.  ALT="$\veebar$">|; 
  1419. $key = q/widehat{{abc}};MSF=1.6;AAT/;
  1420. $cached_env_img{$key} = q|<IMG
  1421.  STYLE="" SRC="|."$dir".q|img154.png"
  1422.  ALT="$\widehat{{abc}}$">|; 
  1423. $key = q/widetilde{{abc}};MSF=1.6;AAT/;
  1424. $cached_env_img{$key} = q|<IMG
  1425.  STYLE="" SRC="|."$dir".q|img153.png"
  1426.  ALT="$\widetilde{{abc}}$">|; 
  1427. $key = q/wr;MSF=1.6;AAT/;
  1428. $cached_env_img{$key} = q|<IMG
  1429.  STYLE="" SRC="|."$dir".q|img36.png"
  1430.  ALT="$\wr$">|; 
  1431. $key = q/{eg}egbox{Let{G{bea{p{-groupegbox{hfillegbox{<verb_mark>38<verb_mark>egbox{{eg};MSF=1.6;AAT/;
  1432. $cached_env_img{$key} = q|<IMG
  1433.   STYLE="" SRC="|."$dir".q|img13.png"
  1434.  ALT="\begin{eg}\begin{egbox}
  1435. Let $G$ be a $p$-group
  1436. \end{egbox}\hfill\begin{egbox}
  1437. \verb\vert Let $G$ be a $p$-group\vert
  1438. \end{egbox}\end{eg}">|; 
  1439. $key = q/{eg}egbox{{(calF){egbox{hfillegbox{<verb_mark>28<verb_mark>egbox{{eg};MSF=1.6;AAT/;
  1440. $cached_env_img{$key} = q|<IMG
  1441.   STYLE="" SRC="|."$dir".q|img8.png"
  1442.  ALT="\begin{eg}\begin{egbox}
  1443. \(\cal F \)
  1444. \end{egbox}\hfill\begin{egbox}
  1445. \verb\vert\( \cal F \)\vert
  1446. \end{egbox}\end{eg}">|; 
  1447. $key = q/{eg}egbox{{GnotequivH{egbox{hfillegbox{<verb_mark>30<verb_mark>egbox{{eg};MSF=1.6;AAT/;
  1448. $cached_env_img{$key} = q|<IMG
  1449.   STYLE="" SRC="|."$dir".q|img9.png"
  1450.  ALT="\begin{eg}\begin{egbox}
  1451. $ G \not\equiv H $
  1452. \end{egbox}\hfill\begin{egbox}
  1453. \verb\vert G \not\equiv H\vert
  1454. \end{egbox}\end{eg}">|; 
  1455. $key = q/{eg}egbox{{int!!intz,dxdy{insteadof{intintzdxdy{egbox{hfillegbox{<verb_mark>21<verb_mark>.egbox{{eg};MSF=1.6;AAT/;
  1456. $cached_env_img{$key} = q|<IMG
  1457.   STYLE="" SRC="|."$dir".q|img6.png"
  1458.  ALT="\begin{eg}\begin{egbox}
  1459. $\int\!\!\int z  dx dy$  instead of $\int\int z dx dy...
  1460. \verb\vert\int\!\!\int z  dx dy .. \int\int z dx dy\vert.
  1461. \end{egbox}\end{eg}">|; 
  1462. $key = q/{frac{{a+b}}{{c}}};MSF=1.6;AAT/;
  1463. $cached_env_img{$key} = q|<IMG
  1464.  STYLE="" SRC="|."$dir".q|img4.png"
  1465.  ALT="${\frac{{a + b}}{{c}}}$">|; 
  1466. $key = q/{frac{{abc}}{{xyz}}};MSF=1.6;AAT/;
  1467. $cached_env_img{$key} = q|<IMG
  1468.  STYLE="" SRC="|."$dir".q|img163.png"
  1469.  ALT="${\frac{{abc}}{{xyz}}}$">|; 
  1470.